The Piranha algebraic manipulator

نویسنده

  • Francesco Biscani
چکیده

In this paper we present a specialised algebraic manipulation package devoted to Celestial Mechanics. The system, called Piranha, is built on top of a generic and extensible framework, which allows to treat e ciently and in a uni ed way the algebraic structures most commonly encountered in Celestial Mechanics (such as multivariate polynomials and Poisson series). In this contribution we explain the architecture of the software, with special focus on the implementation of series arithmetics, show its current capabilities, and present benchmarks indicating that Piranha is competitive, performance-wise, with other specialised manipulators.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Histological and histochemical study on the alimentary canal in Walking catfish (Claris batrachus) and piranha (Serrasalmus nattereri)

The purpose of this study is to describe the histological and histochemical features of digestive tract intwo aquarium fishes with different types of feeding habits which are omnivorous (Walking catfish) andcarnivorous (piranha), respectively. Five adult Walking catfish (L: 26.4 ± 3.4 cm, W: 265 ± 55 g) and fiveadult piranha (L: 23.6 ± 4.5 cm, W: 247 ± 50 g) were used for this study. The fishes...

متن کامل

The Algebraic Manipulator of Alnuset: a Tool to Prove

This report is devoted to analyzing the influence of an algebraic system, the Algebraic Manipulator of ALNUSET on students’ construction of proof in proving equivalence among expressions. Results of an experiment, carried out with students at the second year of Upper Secondary school, are presented to show in which way this manipulator can be used in the educational practice to enhance the teac...

متن کامل

Synthesis on the Forward Kinematics Problem algebraic modeling for the planar parallel manipulator, Part 1. Position-based equation systems

Based on a proven exact method to solve the forward kinematics problem , this article investigates the forward kinematics problem formulation specifically applied to planar parallel manipulators. This first part focuses on the position-based equation systems. The majority of planar tripods can modeled by the 3-RPR parallel manipulator. This manipulator is a tripod constituted by a fixed base an...

متن کامل

On the Convergence of PIRANHA

Recently we proposed an algorithm called PIRANHA for learning to represent time series in RNNs. In this paper we prove that under appropriate conditions, PIRANHA is convergent.

متن کامل

PIRANHA filter for communication system robustness

The designed rejection filter is of recursive prediction error (RPE) form and uses a special constrained model of infinite impulse response (IIR) with a minimal number of parameters. The socalled PIRANHA Filter is made up independent cascaded adaptive cells realising high rejection at certain frequencies. The convergent filter is characterised by highly narrow-bandwidth and uniform notches of d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/0907.2076  شماره 

صفحات  -

تاریخ انتشار 2009